namespace core_DivideZero {
void test(int z) {
    if (z == 0)
        int x = 1 / z; // warn
}

void test1() {
    int x = 1;
    int y = x % 0; // warn
}
}